<HTML><HEAD><TITLE>breal(?Breal)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">Type Testing</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>breal(?Breal)</H1>
Succeeds if Breal is a bounded real number.
<DL>
<DT><EM>Breal</EM></DT>
<DD>A term.
</DD>
</DL>
<H2>Description</H2>
	Used to test whether a term is a bounded real number.
	A bounded real (breal) is conceptually a real number, and it
	is represented by a lower and upper bound in floating point
	format.

<H3>Modes and Determinism</H3><UL>
<LI>breal(?) is semidet
</UL>
<H3>Fail Conditions</H3>
Fails if Breal is not a bounded real number
<H2>Examples</H2>
<PRE>
Success:
    ?- breal(0.99__1.01).
    Yes (0.00s cpu)

    ?- X is breal(pi), breal(X).
    X = 3.1415926535897927__3.1415926535897936
    Yes (0.00s cpu)

Fail:
    ?- breal(1.0).
    No (0.00s cpu)

    ?- breal(1).
    No (0.00s cpu)

    ?- breal("hello").
    No (0.00s cpu)
</PRE>
<H2>See Also</H2>
<A HREF="../../kernel/typetest/atomic-1.html">atomic / 1</A>, <A HREF="../../kernel/typetest/integer-1.html">integer / 1</A>, <A HREF="../../kernel/typetest/number-1.html">number / 1</A>, <A HREF="../../kernel/typetest/float-1.html">float / 1</A>, <A HREF="../../kernel/typetest/real-1.html">real / 1</A>, <A HREF="../../kernel/typetest/rational-1.html">rational / 1</A>, <A HREF="../../kernel/arithmetic/breal-2.html">breal / 2</A>
</BODY></HTML>
